Skip to main content

Microsoft Research Video

More than 1,100 brilliant scientists and engineers push the boundaries of computing in multiple research areas and include contributions to Kinect for Xbox 360, work to develop an HIV vaccine, and advancing education techniques in rural communities.

PART OF
Computers & Technology
More right-solid
More right-solid
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
SHOW DETAILS
up-solid down-solid
eye
Title
Date Archived
Creator
Microsoft Research Video
movies
eye 23
favorite 0
comment 0
Microsoft Research exposes new natural language technologies that raise the bar for functionality, usability and reliability of in-car infotainment systems. ©2010 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Ivan Tashev
Microsoft Research Video
movies
eye 25
favorite 0
comment 0
This session will cover the Xilinx next generation 40 and 45nm FPGAs Virtex-6 and Spartan-6. The key features of both families including new I/O capabilities, high speed clocking, FPGA fabric, Multi-Gigabit transceivers, and memory will be covered. In addition to features the session will cover the product families and the release schedule. For a quick overview of the new families go to http://www.xilinx.com/products/v6s6.htm ©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Ray Bittner, Don Matson
Microsoft Research Video
movies
eye 55
favorite 0
comment 0
With the explosion of data collection that is outpacing Moore's Law, Microsoft Research is developing and applying algorithms to massive amounts of data to help understand the genetic causes of major diseases, aging, as well as environmental issues and other areas of science. ©2011 Microsoft Corporation. All rights reserved. Learn more Microsoft Research and the Environment Our Research: Computational Sciences Our Research: Health and Well-Being Earth, Energy and Environment Collaboration...
Topics: Microsoft Research, Microsoft Research Video Archive
Microsoft Research Video
movies
eye 53
favorite 0
comment 0
In Play Between Worlds, T. L. Taylor examines multiplayer gaming life as it is lived on the borders, in the gaps--as players slip in and out of complex social networks that cross online and offline space. Taylor questions the common assumption that playing computer games is an isolating and alienating activity indulged in by solitary teenage boys. Massively multiplayer online games (MMOGs), in which thousands of players participate in a virtual game world in real time, are in fact actively...
Topics: Microsoft Research, Microsoft Research Video Archive, Tamara Pesik, T. L. Taylor
Automatic human affect recognition research is to enable a computer to understand human affective behavior through sensors, with a goal of building human-centered and affect-support computing environment. This talk includes four parts. The state of the art Automated analysis of human affective behavior has attracted increasing attention from researchers in multiple disciplines. I will present a picture of this research through our recent comprehensive survey (accepted in PAMI) where we examine...
Topics: Microsoft Research, Microsoft Research Video Archive, Zhengyou Zhang, Zhihong (John) Zeng
Microsoft Research Video
movies
eye 26
favorite 0
comment 0
We present a novel framework for defining memory models in terms of two properties: thread-local Instruction Reordering axioms and Store Atomicity (SA), which describes inter-thread communication via memory. SA guarantees serializability, that is, a unique global interleaving of all operations which respects the reordering rules. It is the SA property that is enforced by cache coherence protocols. Our framework uses partially ordered execution graphs; one graph represents many instruction...
Topics: Microsoft Research, Microsoft Research Video Archive, Shaz Qadeer, Arvind
Microsoft Research Video
movies
eye 41
favorite 0
comment 0
Graph clustering---clustering the nodes of a graph---is a fundamental problem arising in many machine learning and data mining applications. The last few years have seen a surge of interest in spectral clustering methods, which use eigenvectors of the graph adjacency matrix (or a matrix derived from the adjacency matrix) to optimize one of several graph cut objective functions. These methods are powerful and theoretically well-motivated; however, computing eigenvectors of a large matrix is...
Topics: Microsoft Research, Microsoft Research Video Archive, Arun Surendran, Brian Kulis
Imagine an automatic news filtering system that tracks company news. Given the news item 'FDA approves ciprofloxacin for victims of anthrax inhalation', how can the system know that the drug mentioned is an antibiotic produced by Bayer? Or consider an information professional searching for data on RFID technology - how can a computer understand that the item 'Wal-Mart supply chain goes real time' is relevant for the search? Algorithms we present can do just that. When humans approach text...
Topics: Microsoft Research, Microsoft Research Video Archive, Paul Viola, Evgeniy Gabrilovich
Experience the latest technology in research areas such as surface computing, augmented cognition and visualization and get a glimpse into future computing scenarios. Discover how Microsoft Research is shaping Microsoft® products and the world by pushing the state of the art of computing. Hear prominent Microsoft researchers discuss their work and the problems they are working to solve. ©2006 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Kevin Schofield, Dan Ling
Over the past few months, NASA has been in the news numerous times both for the exciting discoveries of the pair of Mars Rovers as well as the country's Vision for Space Exploration. This vision focuses on the joint human and robotic exploration of the solar system starting with a return to the moon and then the human exploration of Mars. In addition, the vision includes a continued array of exciting robotic missions to Mars as well as other destinations. To accomplish these missions, NASA...
Topics: Microsoft Research, Microsoft Research Video Archive, Eric Horvitz, Daniel J. Clancy
Microsoft Research Video
movies
eye 22
favorite 0
comment 0
The purpose of the seminar is to describe the StarSs programming model, the status of the different implementations and why we consider that it provides a global solution to the challenges raised by future processor and system architectures. StarSs is a task-based programming model where the user annotates with directives an otherwise standard sequential code that is then automatically parallelized by the run time infrastructure. The underlying execution model is a medium-grain data-flow that...
Topics: Microsoft Research, Microsoft Research Video Archive, Juan Vargas, Jesus Labarta
There is wide acceptance that models which seek to represent biological or environmental processes should be evaluated before they are applied. Numerous technical methods have evolved in order to address this requirement. Literature in this area is further supplemented by more philosophical discussions on the role of model evaluation/validation given that models are (nearly always) known to be approximate at best. While mechanistic models tend to be detailed, they are less detailed than the...
Topics: Microsoft Research, Microsoft Research Video Archive, Matthew Smith, Neil Crout
Microsoft Research Video
movies
eye 142
favorite 0
comment 0
A core element of microeconomics and game theory is that consumers have valuationfunctions over bundles of goods and that these valuation functions drive theirpurchases. In particular, the value given to a bundle need not be the sum of values onthe individual items but rather can be a more complex function of how the itemsrelate. Common valuation classes considered in the literature include OXS,submodular, and XOS valuations. Typically it is assumed that these valuations areknown to the center...
Topics: Microsoft Research, Microsoft Research Video Archive, Yael Kalai, Maria Florina Balcan
Microsoft Research Video
movies
eye 89
favorite 0
comment 0
Learn about Microsoft Research Accelerators—tools and services for academics and researchers that are designed to help scientists, researchers, teachers and students explore science, analyze and visualize data, and publish the results of their research. This video provides a brief introduction to just a few of our many Research Accelerators, including the Chemistry Add-in for Word, Zentity, Scientific Workflow Workbench, and Try F#. ©2011 Microsoft Corporation. All rights reserved. Learn...
Topics: Microsoft Research, Microsoft Research Video Archive, Derick Campbell
Microsoft Research Video
movies
eye 78
favorite 0
comment 0
Event-B is a method for the stepwise development of programs. The development is mostly top-down and gradually introduces details, rather than starting at the concrete level of writing code. The Event-B method is implemented in the Rodin tool. This lecture is part of a mini-course on Event-B and Rodin. This lecture continues the development of sequential programs. ©2011 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Rustan Leino, Jean-Raymond Abrial
I'll talk about two projects I worked on this summer at MSR. The first project was to find local dynamics that lead to balanced outcomes in exchange networks, an equilibrium concept that combines notions of stability and fairness. I'll present a distributed algorithm that computes a balanced outcome on bipartite graphs that builds on the auction algorithm for the assignment problem. The second project was to find local dynamics that lead to equilibrium in the Linear Fisher Market. I'll describe...
Topics: Microsoft Research, Microsoft Research Video Archive, David Wilson, Ben Birnbaum
It is a time-honored fashion to implement a domain-specific language (DSL) by translation to a general-purpose language. Such an implementation is more portable, but an unidiomatic translation jeopardizes performance because, in practice, language implementations favor the common cases. This tension arises especially when the domain calls for complex control structures. We illustrate this tension by revisiting Landin's original correspondence between Algol and Church's lambda-notation. We...
Topics: Microsoft Research, Microsoft Research Video Archive, Francesco Logozzo, Olivier Danvy
Microsoft Research Video
movies
eye 120
favorite 0
comment 0
3:35 - 4:05 David B. Wilson (Microsoft) Oded's work on Boolean functions 4:10 - 4:40 Christophe Garban (ENS Paris) Oded's work on Noise Sensitivity 4:45 - 5:15 Gábor Pete (U. Toronto) How to prove tightness for the size of strange random sets ©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, David Wilson, Gabor Pete, Amir Dembo, David...
Process control and improvement are keys to successful businesses, especially in agile environments. The PROfessional Metrcics (PROM) system and its Experience Manager (PEM) are designed to promote them. PROM supports automatic and non invasive collection of metrics from software processes and products. Without any significant intervention of the software engineers (apart the initial configuration), data about where effort is spent, metrics on design and code, and other relevant information...
Topics: Microsoft Research, Microsoft Research Video Archive, Nachi Nagappan, Giancarlo Succi
The DORIS project aims to develop a spoken dialogue module for an autonomous robotic agent. In this talk, I will examine the techniques used by Scusi?, the speech interpretation component of DORIS, to postulate and assess hypotheses regarding the meaning of a spoken utterance, including our formalism for disambiguating referring expressions. I will also present the results of our evaluation experiments, and discuss our progress towards the interpretation of multiple utterances. ©2009 Microsoft...
Topics: Microsoft Research, Microsoft Research Video Archive, Eric Horvitz, Ingrid Zukerman
Microsoft Research Video
movies
eye 167
favorite 0
comment 0
Until recently, the study of cognition and the neurophysiological basis of human behavior was the subject of quite separate disciplines such as psychology, neurophysiology, cognitive science, computer science, and philosophy, among others. Mental processes were mainly studied in the framework of abstract theories, mathematical models, and disembodied artificial intelligence. It has now become clear that mental processes are strongly entwined with the physical structure of the body and its...
Topics: Microsoft Research, Microsoft Research Video Archive, Zhengyou Zhang, Giorgio Metta
Static spectrum allocation has resulted in low spectrum efficiency in licensed bands and poor performance of radio devices in crowded unlicensed bands. To remedy these problems, we have been exploring ways of exploiting the concept of 'spectrum agility' such that radio devices can dynamically and opportunistically utilize idle spectral bands. Cognitive radio (CR) is one such device that enables dynamic spectrum access and environment-aware wireless networking. We studied several key elements of...
Topics: Microsoft Research, Microsoft Research Video Archive, Victor Bahl, Kang G. Shin
Microsoft Research Video
by Microsoft Research
movies
eye 51
favorite 0
comment 0
Unexpectedly, JavaScript has become one of the world's most popular programming language while still remaining one of the world's most misunderstood. What does the future hold for this much maligned and deeply flawed language? What can it teach us about the process of standards evolution? Can JavaScript ever become respected? Will JavaScript ultimately save the world? ©2008 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Wolfram Schulte, Douglas Crockford
The progress of any creative discipline changes significantly with the quality of the tools available. As the diversity of user interfaces multiplies in the shift away from personal desktop computing, yesterday's tools and concepts are insufficient to serve the designers of tomorrow's interfaces. My research in human-computer interaction focuses on the earliest stages in UI creation - activities that take a novel idea and transform it into a concrete, interactive artifact that can be...
Topics: Microsoft Research, Microsoft Research Video Archive, Andy Wilson, Bjoern Hartmann
Microsoft Research Video
movies
eye 31
favorite 0
comment 0
In kidney exchanges, patients with kidney disease can obtain compatible donors by swapping their own willing but incompatible donors. The clearing problem involves finding a social welfare maximizing set of non-overlapping short cycles. We proved this NP-hard. It was one of the main obstacles to a national kidney exchange. We presented the first algorithm capable of clearing these exchanges optimally on a nationwide scale. The key was incremental problem formulation. We adapted two paradigms...
Topics: Microsoft Research, Microsoft Research Video Archive, Eric Horvitz, Tuomas Sandholm
Microsoft Research Video
movies
eye 83
favorite 1
comment 0
Many real-world applications such as gene expression clustering and collaborative filtering can be modeled by matrix factorization. A common challenge for applying matrix factorization is determining the dimensionality of the latent matrices from data. Indian Buffet processes enable us to apply the nonparametric Bayesian machinery to address this challenge. Given data, however, learning nonparametric Bayesian matrix factorization models remains a difficult task. Based on equivalent classes on...
Topics: Microsoft Research, Microsoft Research Video Archive, Dengyong Zhou, Alan Qi
Microsoft Research Video
movies
eye 45
favorite 0
comment 0
This talk describes two projects in the area of computational photography that I have recently worked on in collaboration with Microsoft Research and Virtual Earth.First, I will present a novel method for browsing, enhancing, and manipulating outdoor photographs by combining them with existing georeferenced digital terrain and urban models. A simple interactive registration process is used to align photographs with models. Once the photograph and the model have been registered, and abundance of...
Topics: Microsoft Research, Microsoft Research Video Archive, Michael Cohen, Johannes Peter Kopf
Human manually written programs do many (clean) tasks well, such as word processing or dexterous dancing. However, machines have done poorly for (muddy) tasks that the brain is good at, such as perceiving and behaving properly in open ended, complex human environments. Human hand-designed task-specific representations face great challenges in such environments. Inspired by neuroscienece, this talk presents general purpose architectures that constrain the types of representation to be generated....
Topics: Microsoft Research, Microsoft Research Video Archive, Tandy Trower and Zhengyou Zhang, Juyang...
Microsoft Research Video
movies
eye 42
favorite 0
comment 0
Recent years have seen a significant surge in the interest and use of virtualization, driven by better hardware support, increasing power costs and low resource utilizations. While virtualization has many applications — for instance, to support legacy software, to improve fault containment and to provide strong resource guarantees — by far the most common is server consolidation. By aggregating multiple services on a single physical machine, organizations can reduce costs and increase the...
Topics: Microsoft Research, Microsoft Research Video Archive, John (JD) Douceur, Diwaker Gupta
Microsoft Research Video
movies
eye 45
favorite 0
comment 0
A major engineering challenge in statistical machine translation systems is the efficient representation of extremely large translation rulesets. In phrase-based models, this problem can be addressed by storing the training data in memory and using a suffix array as an efficient index to quickly lookup and extract rules on the fly. Hierarchical phrase-based translation introduces the added wrinkle of source phrases with gaps. Lookup algorithms used for contiguous phrases no longer apply and the...
Topics: Microsoft Research, Microsoft Research Video Archive, Bill Dolan, Adam Lopez
Humanity has a 50-50 chance of surviving this century, according to the eminent cosmologist Sir Martin Rees, Britain’s Astronomer Royal. Grim odds indeed, but James Martin, one of the great intellects of the information age, has devised a plan for stacking them more heavily in our favor. Martin has watched as concurrent crises pile up, including the destruction of the environment, overpopulation, poverty and terrorism—yet up until now lack of awareness and apathy have fostered inaction,...
Topics: Microsoft Research, Microsoft Research Video Archive, Kim Ricketts and Kirsten Wiley, James Martin
Microsoft Research Video
movies
eye 15
favorite 0
comment 0
In the often male dominated world of computers, Rebecca Norlander has made a name for herself by taking on big challenges, and proving she has what it takes to deliver results. Join us to learn how Rebecca got her start at Microsoft, advancing through roles where she had tremendous impact on Excel, Internet Explorer, Windows XP SP2, Windows Vista Security, and now as Technical Strategist to Chief Software Architect, Ray Ozzie. Rebecca will share with us her insights around the obstacles she has...
Topics: Microsoft Research, Microsoft Research Video Archive, Jennifer Sisti, Rebecca Norlander
This talk introduces the five-year COE (Center of Excellence) program “Framework for Systematization and Application of Large-scale Knowledge Resources,” that launched in 2003 at Tokyo Institute of Technology. The project is conducting a wide range of interdisciplinary research combining humanities and technology to create a framework for the systematization and the application of large-scale knowledge resources in electronic forms. Spontaneous speech, written language, materials for...
Topics: Microsoft Research, Microsoft Research Video Archive, Li Deng, Sadaoki Furui
Leakage power has become an increasingly important issue in processor hardware and software design. With the main component of leakage, the sub-threshold current, exponentially increasing with decreasing device dimensions, leakage commands an ever increasing share in the processor power consumption. In 65 nm and below technologies, leakage accounts for 30-40% of processor power. While there are several process technology and circuit-level solutions to reduce leakage in processors, the research...
Topics: Microsoft Research, Microsoft Research Video Archive, Kim Shearer, Aviral Shrivastava, Sarma...
Microsoft Research Video
movies
eye 15
favorite 0
comment 0
Today`s Internet is at risk. A single misbehaving router--whether through misconfiguration or malicious intent--can hijack routes, bringing down over a third of the Internet. This critical vulnerability stems from the pervasive assumption inherent in existing protocols that any information propagated by routers is correct. Emerging security proposals for Internet routing require a public key infrastructure and a trusted central authority, and thus are unlikely to see wide deployment. In this...
Topics: Microsoft Research, Microsoft Research Video Archive, alreed, Lakshmi Subramanian
Microsoft Research Video
movies
eye 38
favorite 0
comment 0
This is a report on joint work with Kristin Lauter and Peter Stevenhagen. Broker and Stevenhagen have shown that in practice it is not hard to produce an elliptic curve (over some finite field) with a given number N of points, provided that the factorization of N is known. In his talk this week, Stevenhagen will show that the natural generalization of this method to produce genus-2 curves with a given number of points on their Jacobian is an exponential algorithm. I will consider the related...
Topics: Microsoft Research, Microsoft Research Video Archive, Kristin Lauter, Everett Howe
Microsoft Research Video
by Microsoft Research
movies
eye 21
favorite 0
comment 0
SQL is Dead; Long Live SQL: Lightweight Query Services for Ad Hoc Research Data Bill Howe, University of Washington SinBiota 2.0 – Planning a New Generation Environmental Information System João Meidanis, University of Campinas ©2010 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Bill Howe and Jo&#227, o Meidanis
Microsoft Research Video
by Microsoft Research
movies
eye 92
favorite 0
comment 0
The last time Bruce gave a talk here he riffed off articles in the morning’s newspaper and I laughed so hard I cried. He is on tour for his new book, Zenith Angle, but I expect he’ll talk about what ever he is interested in that day. He is also famous for utterly ignoring questions and continuing to talk about his thought of the moment. It is good, weird fun. ©2004 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Tamara Pesik, Bruce Sterling
Microsoft Research Video
movies
eye 73
favorite 0
comment 0
Markov random field (MRF) models provide a robust and unified framework for early vision problems such as stereo, optical flow and image restoration. Inference algorithms based on graph cuts and belief propagation yield accurate results, but despite recent advances are often still too slow for practical use. We present three new algorithmic techniques that substantially improve both the running time and the memory utilization of loopy belief propagation for early vision problems. Taken together...
Topics: Microsoft Research, Microsoft Research Video Archive, Rick Szeliski, Daniel Huttenlocher
We give an overview on automatic verification of infinite-state systems in general and in particular of dynamic/parametrized networks of processes. We present (some of) the main existing approaches based on symbolic techniques with automata/logic based formalisms for reasoning about infinite sets of configurations. We show the application of the presented techniques in the verification of various classes of systems/programs (such as concurrent programs with dynamic creation of processes,...
Topics: Microsoft Research, Microsoft Research Video Archive, Shaz Qadeer, Ahmed Bouajjani
This talk describes Secure Virtual Architecture (SVA), an efficient and robust approach to provide a safe execution environment for an entire commodity operating system, such as Linux and its hosted applications. SVA defines a simple, but complete, virtual architecture, implemented via a compiler-based virtual machine. The SVA approach is efficient and requires relatively few changes to the guest OS because it is based on a set of novel, and highly efficient, techniques to enforce strong safety...
Topics: Microsoft Research, Microsoft Research Video Archive, Jim Larus, Vikram Adve
Ad hoc networks are formed as collections of nodes that communicate over wireless channels. The dynamic and distributed nature of such networks means that randomization is often used to improve efficiency and to achieve symmetric solutions. In this talk, we demonstrate the applicability of an automated formal verification technique called probabilistic model checking to the analysis of ad hoc network protocols. A probabilistic model checker calculates the probability of a given temporal logic...
Topics: Microsoft Research, Microsoft Research Video Archive, Jakob Rehof, Marta Kwiatkowska
The landscape of security vulnerabilities has changes dramatically in the last several years. As Web-based applications become more prominent, familiar buffer overruns are far outnumbered by Web application vulnerabilities such as SQL injections and cross-site scripting attacks. In this talk I introduce a comprehensive static and runtime compiler-based solution to a wide range of Web application vulnerabilities. Our approach targets large real-life Web-based Java applications. Given a...
Topics: Microsoft Research, Microsoft Research Video Archive, Trishul Chilimbi, Benjamin Livshits
Microsoft Research Video
movies
eye 41
favorite 0
comment 0
Extremal set theory deals with families of sets given some conditions on their intersections. In this talk we'll see how casting these questions in the setting of the discrete cube {0,1} n enables us to prove some fundamental (but new) results. Typically these results offer some extremely simple structural explanation of intersecting families of sets. This is partially joint work with Irit Dinur. ©2005 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Jennifer Chayes, Ehud Friedgut
Neural networks (NN) and support vector machines (SVM) play key roles in machine learning and data analysis. However, it is known that these popular learning techniques face some challenging issues such as: intensive human intervene, slow learning speed, poor learning scalability. The newly proposed Extreme Learning Machine (ELM) can resolve those challenging issues. This talk will give the answers on the reasons: 1) why ELM can work as universal approximator and why tuning is not required; 2)...
Topics: Microsoft Research, Microsoft Research Video Archive, Li Deng, Guang-Bin Huang
We are at an especially opportune time in the history of the study of human cognition. Brain imaging technology allows us to directly observe brain activity associated with cognitive processes. Techniques from statistics and machine learning allow us to construct quantitative computational models that describe these cognitive brain processes. More importantly, they allow us to construct mental state decoders that accurately predict certain aspects of thought from measured brain activity. In...
Topics: Microsoft Research, Microsoft Research Video Archive, Kevyn Collins-Thompson, Kai-min Chang
Microsoft Research Video
movies
eye 65
favorite 1
comment 0
With uniprocessor systems running into ILP limits and fundamental VLSI constraints, parallel architectures provide a realistic path towards scalable performance. Nevertheless, shared memory multiprocessors are neither simple to design nor easy to program. Transactional Coherence and Consistency (TCC) is a new model for shared memory systems with the potential to address both issues. TCC relies on user-defined, light-weight transactions as the basic unit of parallel work, communication, memory...
Topics: Microsoft Research, Microsoft Research Video Archive, Jim Larus, Christos Kozyrakis
Microsoft Research congratulates Chuck Thacker for winning the 2009 Turing Award! ©2011 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Roy Levin, Butler Lampson, Rick Rashid,...
You can help protect a child, maybe even your child. The statistics show that 20-30% of our boys and girls are sexually abused, and often by someone they know. With some simple information that is not covered by most presentations and articles on child sexual abuse, you can change a life. ©2008 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Teresa Martineau, Janice Palm, Jill Armitage
Microsoft Research Video
movies
eye 42
favorite 0
comment 0
To increase reliability, developers have long used assertions--logical statements that are expected to be true--as lightweight specifications of crucial properties of code. Assertions have predominantly served two purposes: documentation and runtime checking. We envision a far broader role of assertions where they are the cornerstone of a wide range of analyses that uniformly apply across the spectrum of software design, development, and maintenance, and synergistically promise to bring about a...
Topics: Microsoft Research, Microsoft Research Video Archive, Patrice Godefroid, Sarfraz Khurshid
Microsoft Research Video
by Microsoft Research
movies
eye 29
favorite 0
comment 0
Want to learn about how to make a Tower Defense engine or a toolkit filled with controls to make your applications user friendly? Check out the Coding4Fun (http://channel9.msdn.com/coding4fun) talk on July 27th. Clint Rutkas and Larry Larsen from Channel 9 will be talking about the Coding4Fun Windows Phone Toolkit and our newly released Tower Defense engine, ScriptTD. With ScriptTD, you can create a full new game in minutes by altering a few small XML files and swapping out some graphic assets!...
Topics: Microsoft Research, Microsoft Research Video Archive, Ben Lower and Jitu Padhye, Clint Rutkas and...
Microsoft Research Video
movies
eye 67
favorite 0
comment 0
In the first part of my talk, I shall present a platform-based compilation and synthesis system, named xPilot, developed at UCLA. The xPilot provides advanced behavioral synthesis capability for compiling C, C++ , or SystemC applications to high quality RTL code optimized for FPGA platforms for logic, interconnects, and memory optimization with flexibile performance and area trade-off. It includes a number of algorithmic innovations, such as scheduling based on the system of difference...
Topics: Microsoft Research, Microsoft Research Video Archive, Darko Kirovski, Jason Cong
Microsoft Research Video
movies
eye 39
favorite 0
comment 0
Most current commercial and research efforts focus on making VoIP work as well as the current landline and mobile phone, by improving aspects from QoS to security. As important as these are, it is important to move beyond functional parity with 125-year old technology. Traditionally, the natural next step beyond telephony was adding video, despite a fifty year string of failures. However, what has proven to be far more successful is adding meta data and facilitating user control. In this talk,...
Topics: Microsoft Research, Microsoft Research Video Archive, Victor Bahl, Henning Schulzrinne
Microsoft Research Video
by Microsoft Research
movies
eye 46
favorite 0
comment 0
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally modeled. It is also a flexible logical framework in which many different logical formalisms can be both represented and executed. As the title suggests, the talk does not try to give a comprehensive overview of rewriting logic. Instead, after introducing the basic concepts, it focuses on some recent research directions...
Topics: Microsoft Research, Microsoft Research Video Archive, Shuo Chen, Jose Meseguer
Diagrams are a useful way to efficiently convey abstract information. Layout is an important aspect of diagram creation, impacting heavily on readability. Good diagram layout is difficult because it encompasses both a user's aesthetic preferences as well as drawing conventions for particular styles of diagrams. Existing diagram authoring software provides some layout tools, but these usually perform a once-off change. As such, the author of the diagram handles the majority of diagram layout...
Topics: Microsoft Research, Microsoft Research Video Archive, Lev Nachmanson, Michael Wybrow
Can you write code without an Internet connection? The ready availability of online tutorials, forums, and source code examples has fundamentally changed programming practices. Understanding and supporting these emerging practices is vital to building the next generation of development environments. This talk first presents our empirical work investigating how programmers use the Web. We studied 20 individuals in the lab and over 24,000 individuals through search log analysis. We found that Web...
Topics: Microsoft Research, Microsoft Research Video Archive, Gina Venolia, Joel Brandt
Microsoft Research Video
movies
eye 20
favorite 0
comment 0
11:00 - 11:30 Ken Stephenson (U. Tennessee) Rigidity of circle packings 11:35 - 12:05 Zheng-Xu He (Beijing CAS) Disk packings and conformal maps 12:10 - 12:40 Igor Pak (UMN and UCLA) Caged eggs and the rigidity of convex polyhedra ©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, David Wilson, Donald E. Marshall, Ken...
In modern microprocessors and systems-on-a-chip, the embedded memory system plays a key role in determining the design’s overall performance, power, area, reliability, and yield. As fabrication process technologies scale into the deep nanometer regime, increasing device variability poses particular difficulties for memory design due to the large number of variation-sensitive near minimum-sized devices in the cell arrays which often must achieve working circuits out beyond six sigma of...
Topics: Microsoft Research, Microsoft Research Video Archive, Doug Burger, Jangwoo Kim
Modern phones are being equipped with numerous sensors such as cameras, microphones, GPS, accelerometers, and health monitors. This project aims to design a 'Virtual Information Telescope', where the 'lenses' of the telescope are metaphors for the sensors in people's mobile phones. Using such a telescope, an Internet user will be able to zoom into any part of the human-populated world, and observe events of interest. Users will be able to direct queries to phones located in a given region, and...
Topics: Microsoft Research, Microsoft Research Video Archive, Ranveer Chandra, Romit Roy Choudhury
In this talk I will first give a brief introduction to Energy Based Models. I will then discuss in detail the two areas where I have applied these techniques, namely Relational Regression and Similarity Metric Learning. In a number of real world problems, such as, web-page classification, social networks, and house price prediction, the samples are related to each other in complex ways such that the values of unknown variables associated with one sample depends not only on its individual...
Topics: Microsoft Research, Microsoft Research Video Archive, Chris J.C. Burges, Sumit Chopra
The everyday interactions which we carry out with computers are constrained by our own perceptual and motor capabilities that are associated with the technology being used. To improve our overall experiences with both contemporary and emerging technological platforms there are two important steps which must be respected. 1) Understanding the nature of the low-level capabilities of the human user associated with the technology at use. 2) Designing interaction techniques and user interfaces based...
Topics: Microsoft Research, Microsoft Research Video Archive, Ken Hinckley, Tovi Grossman
Microsoft Research Video
movies
eye 17
favorite 0
comment 0
The research and industrial communities have made great strides in developing sophisticated defect detection tools based on static analysis. However, to date most of the work in this area has focused on developing novel static analysis algorithms, and neglected study of other aspects of static analysis tools, in particular user interfaces. In this work, we present a novel user interface toolkit called Path Projection that helps users visualize, navigate, and understand program paths, a common...
Topics: Microsoft Research, Microsoft Research Video Archive, Manuel Fahndrich, Jeff Foster
Microsoft Research Video
movies
eye 16
favorite 0
comment 0
The queries that users pose to web search engines range from two to four terms in length. Much effort has been spent on handling these queries, with considerable success. Apart from advances in retrieval models, simple interaction techniques like query suggestions, spelling correction, and landing page suggestions have also provided substantial improvements in performance. But, what next? One often-proposed avenue for the next big advance leading to better search experience and user...
Topics: Microsoft Research, Microsoft Research Video Archive, Dennis DeCoste, Giridhar Kumaran
Microsoft Research Video
movies
eye 25
favorite 0
comment 0
The theory of automated program revision studies possibilities and limitations of revising existing programs. We require that such revision must be achieved within the given program's current state space so that the revised program satisfies newly identified requirements while it continues to satisfy its current properties. The main focus of this theory is to identify instances where automated revision of programs can be achieved efficiently (possibly in polynomial-time) and where it is...
Topics: Microsoft Research, Microsoft Research Video Archive, Margus Veanes, Borzoo Bonakdarpour
The Internet faces new challenges, ranging from unwanted or harmful traffic to the increasing complexity and fragility of inter-domain routing. At the same time, new applications demand evolution for new capabilities such as mobility, content-based routing, and quality-of-service (QoS) routing. Overlay networks use the existing Internet to provide connectivity for new services, and permit deployable network evolution. Overlay networks have not, however, addressed the full set of challenges and...
Topics: Microsoft Research, Microsoft Research Video Archive, Ming Zhang, Yun Mao
Topics: Microsoft Research, Microsoft Research Video Archive, David Heckerman, Jonathan Carlson, Yun Song
Microsoft Research Video
movies
eye 51
favorite 0
comment 0
Bond percolation on a graph G with parameter p in [0,1] is the random subgraph G p of G obtained by independently deleting each edge with probability 1-p and retaining it with probability p. For many graphs, the size of the largest component of G p exhibits a phase transition: it changes sharply from logarithmic to linear as p increases. When G is the complete graph, this model is known as the Erdos-Renyi random graph: at the phase transition, i.e. p=1/n, the largest component satisfies a...
Topics: Microsoft Research, Microsoft Research Video Archive, Jennifer Chayes, Asaf Nachmias
Microsoft Research Video
movies
eye 19
favorite 0
comment 0
Diverse control and measurement applications, such as mobile phone testing, process optimization, and distributed sonic arrays all require precise timing and synchronization. Designers of such systems need to understand the tradeoffs between the available timing technologies before choosing the right technology. When it comes to writing the software for the system it is often the case that the programming languages and tools either treat time as a second class citizen or worse - ignore time all...
Topics: Microsoft Research, Microsoft Research Video Archive, Mike Barnett, Jacob Kornerup
Microsoft Research Video
movies
eye 14
favorite 0
comment 0
A common approach in designing parallel languages is to provide some high level handles to manipulate the use of the parallel platform. This exposes some aspects of the target platform, for example, shared vs. distributed memory or task parallelism vs. data parallelism. Depending on the circumstances, these handles might be too powerful, not powerful enough or impose unnecessary constraints. Many potential programmers avoid these languages because they require too much understanding of...
Topics: Microsoft Research, Microsoft Research Video Archive, Jim Larus, Kathleen Knobe
Topics: Microsoft Research, Microsoft Research Video Archive, Luay Nakhleh
Microsoft Research Video
movies
eye 16
favorite 0
comment 0
Many students from developing countries dream about working for a place like Microsoft. Unfortunately, even basic education can be hard to attain when families are in poverty. Vietnam is one place where families must pay fees for elementary and secondary education. Families in rural areas often subsist on 2 or 3 dollars per day, which makes it difficult for them to afford schooling for their children. The Viet Nam Scholarship Foundation was established to provide ongoing support to these...
Topics: Microsoft Research, Microsoft Research Video Archive, Vahab Mirrokni and Jennifer Chayes, Gwen Vu,...
Not long ago, Americans could rightly feel confident in our preeminence in the world’s economy, as we set the pace for everything from the personal computer to the internet, from Wall Street to Hollywood, form the decoding of the genome to Web 2.0. So why is it that today Finland has the world’s most competitive economy? Why do US students rank 24th in math literacy around the world and why, in a reverse “brain drain”, did 30,000 highly trained professionals leave the US to return to...
Topics: Microsoft Research, Microsoft Research Video Archive, Kim Ricketts and Kirsten Wiley of Microsoft...
Microsoft Research Video
movies
eye 16
favorite 0
comment 0
In this talk we present a model that combines explicit and symbolic representations in an explicit-symbolic model checking tool. Both explicit and symbolic models have been successfully used in the verification of finite state concurrent systems, such as complex sequential circuits and communication protocols. The proposed model aims to use explicit and symbolic techniques together to verify the same model and to make it possible to employ the most efficient technique to each aspect of the...
Topics: Microsoft Research, Microsoft Research Video Archive, Tom Ball, Sergio Campos
Video games are big business, but can they be much bigger businesses? To do so requires the retention of existing players and the expansion of the player population beyond its historically core constituency of young men. Getting other demographics to engage the console experience may require modifying the product to fit the needs, interests, and issues of non-traditional players. The success of the Wii is an indicator of this shift away from technical superiority to more inclusive play...
Topics: Microsoft Research, Microsoft Research Video Archive, Marc Smith, Tracy Kennedy
Microsoft Research Video
movies
eye 36
favorite 0
comment 0
MPI is the de facto standard for programming cluster machines used in high performance computing. Even though MPI programs are not as error-prone to write as thread programs based on shared memory, the use of wildcard communications, split operations (posting and later testing), and recently added weak shared memory extensions to MPI all can, nevertheless, render MPI programs quite buggy. Extracting models from MPI programs and using existing model checkers suffers from many problems:...
Topics: Microsoft Research, Microsoft Research Video Archive, Madan Musuvathi, Ganesh Gopalakrishnan